Software transactional memory - PDFSEARCH.IO - Document Search Engine

Software transactional memory
Results: 226

#	Item
191	OLTP Through the Looking Glass, and What We Found There Stavros Harizopoulos Daniel J. Abadi HP Labs Add to Reading List Source URL: nms.csail.mit.edu Language: English - Date: 2008-03-26 17:11:08 Information Concurrency control ACID Software transactional memory Online transaction processing Two-phase commit protocol Transaction Processing Performance Council Transaction processing system Database Transaction processing Data management Data
192	CONVERSION: Multi-Version Concurrency Control for Main Memory Segments Timothy Merrifield Jakob Eriksson Add to Reading List Source URL: www.cs.uic.edu Language: English - Date: 2013-03-08 14:22:06 Computer programming Software transactional memory Lock Thread Non-blocking algorithm Extensible Storage Engine Commitment ordering Parallel computing Concurrent data structure Computing Concurrency control Software engineering
193	An Implementation and Semantics for Transactional Memory Introspection in Haskell Arnar Birgisson ´ Ulfar Add to Reading List Source URL: www.hvergi.net Language: English - Date: 2013-10-25 16:11:19 Symbol Model theory Heap Computing Concurrent Haskell Software engineering Software transactional memory
194	Write-observation and Read-preservation TM Correctness Invariants Mohsen Lesani Jens Palsberg Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2013-07-24 03:26:31 Schedule Software transactional memory Data Information Computing Transaction processing Concurrency control Data management
195	Putting Opacity in its Place Mohsen Lesani Computer Science Department University of California, Los Angeles, CA ABSTRACT Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-08-15 23:50:13 Computing Data Software transactional memory Algorithm Model theory Linearizability Serializability Opacity Concurrency control Transaction processing Data management
196	A Framework for Formally Verifying Software Transactional Memory Algorithms Mohsen Lesani1 , Victor Luchangco2, and Mark Moir2 1 University of California, Los Angeles, USA Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-07-13 22:02:23 Theoretical computer science Computer science Finite-state machine Cellular automata Algorithm Learning automata Büchi automaton Automata theory Models of computation Applied mathematics
197	Specifying Transactional Memories with Nontransactional Operations Mohsen Lesani Victor Luchangco Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2013-10-26 02:05:50 Data Information Software transactional memory Serializability Linearizability Schedule Transactional memory Database transaction Extensible Storage Engine Transaction processing Concurrency control Data management
198	PDF Document Add to Reading List Source URL: www.packtpub.com Language: English Data management Data Concurrent computing Databases Software transactional memory Actor model Transactional memory Parallel computing Lock Transaction processing Concurrency control Computing
199	Combining Events And Threads For Scalable Network Services Implementation And Evaluation Of Monadic, Application-level Concurrency Primitives Peng Li Steve Zdancewic Add to Reading List Source URL: fdmanana.files.wordpress.com Language: English - Date: 2010-06-08 16:04:04 Threads Scheduling Concurrent Haskell Asynchronous I/O Monad Continuation Software transactional memory Non-blocking algorithm Native POSIX Thread Library Computing Concurrent computing Computer programming
200	Model checking transactional memory John O’Leary Intel Bratin Saha Intel Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Transactional memory Model checking Linearizability Parallel computing Promela Lock Concurrency control Transaction processing Computing

UPDATE